Granularity-based Interfacing
نویسندگان
چکیده
To analyze the complex and heterogenous real-time embedded systems, recent works have proposed interface techniques between real-time calculus (RTC) and timed automata (TA), in order to take advantage of the strengths of each technique for analyzing various components. But the time to analyze a state-based component modeled by TA may be prohibitively high, due to the state space explosion problem. In this paper, we propose a framework of granularity-based interfacing to speed up the analysis of a TA modeled component. First, we abstract the fine models to work with event streams at coarse granularities. Then based on the RTC theory, we develop a formal mathematical algorithm to derive lower and upper bounds on the arrival patterns of the fine output streams, by analyzing the component for multiple runs at coarse granularities. These bounds may be tighter than those simply implied by the results analyzed from the abstracted models. Our framework can help to achieve the tradeoffs between the precision and the analysis time.
منابع مشابه
Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata
To analyze complex and heterogeneous real-time embedded systems, recent works have proposed interface techniques between real-time calculus (RTC) and timed automata (TA), in order to take advantage of the strengths of each technique for analyzing various components. But the time to analyze a state-based component modeled by TA may be prohibitively high, due to the state space explosion problem....
متن کاملA New Framework For Coupling Agent-Based Simulation And Immersive Visualisation
In this contribution, we are dealing with the problem of on-demand interfacing agent-based simulations with Virtual Reality (VR) systems. We focus on how to handle and relate information between the two systems and investigate a generic way for mapping the information which describes the state and context of a simulated agent to its 3D counterpart in the VR system. We provide details about the ...
متن کاملINTERVAL ANALYSIS-BASED HYPERBOX GRANULAR COMPUTING CLASSIFICATION ALGORITHMS
Representation of a granule, relation and operation between two granules are mainly researched in granular computing. Hyperbox granular computing classification algorithms (HBGrC) are proposed based on interval analysis. Firstly, a granule is represented as the hyperbox which is the Cartesian product of $N$ intervals for classification in the $N$-dimensional space. Secondly, the relation betwee...
متن کاملPatterns in Authoring of Adaptive Educational Hypermedia: A Taxonomy of Learning Styles
This paper describes the use of adaptation patterns in the task of formulating standards for adaptive educational hypermedia (AEH) systems that is currently under investigation by the EU ADAPT project. Within this project, design dimensions for high granularity patterns have been established. In this paper we focus on detailing lower granularity adaptive patterns based upon learning styles. Sev...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009